DEF=verification
EXT=set-balance
KOMPILE_BACKEND=haskell
KOMPILE_FLAGS=--syntax-module SET-BALANCE
TESTDIR=.
KPROVE_FLAGS=--md-selector 'keep&!(discard|k)'

include ../../../include/kframework/ktest.mak
